À deux assertions \(A\) et \(B\), on associe leur conjonction \(A\land B\), qui est vraie si les deux assertions \(A\) et \(B\) sont vraies, et fausse sinon
Définition : $${{\varphi\land\psi}}\iff{{\lnot(\lnot\varphi\lor\lnot\psi)}}$$
(Disjonction, Négation)
Notation
En programmation, on note \(\&\&\) la conjonction
Table de vérité
Table de vérité de la conjonction : $$\begin{array}{c|c|c}\varphi&\psi&\varphi\land\psi\\ \hline0&0&{{0}}\\ \hline0&1&{{0}}\\ \hline1&0&{{0}}\\ \hline1&1&{{1}}\end{array}$$
Table de vérité de la conjonction en programmation : $$\begin{array}{c|c|c}a&b&a\,\&\&\,b\\ \hline0&0&{{0}}\\ \hline0&1&{{0}}\\ \hline0& {\bot\,}\llap{\bot} &{{0}}\\ \hline1&0&{{0}}\\ \hline1&1&{{1}}\\ \hline1& {\bot\,}\llap{\bot} &{{ {\bot\,}\llap{\bot} }}\\ \hline {\bot\,}\llap{\bot} &0&{{ {\bot\,}\llap{\bot} }}\\ \hline {\bot\,}\llap{\bot} &1&{{ {\bot\,}\llap{\bot} }}\\ \hline {\bot\,}\llap{\bot} & {\bot\,}\llap{\bot} &{{ {\bot\,}\llap{\bot} }}\end{array}$$
